int_2_summary 12,41
Defines mod, floor, max and min functions over the 
integers.
Lemmas concern basic properties of arithmetic functions over integers, and induction principles. 

origin